pub mod hi32;